Formal learning

Results: 810



#Item
261Formal languages / Formal systems / Logical truth / Theoretical computer science / Mathematical logic / Mathematical proof / ACL2 / Formal proof / Proof / Logic / Mathematics / Proof theory

Learning from Expert’s proof Leo Freitas, Newcastle University UV10 @ MSR Redmond, 16th Nov. 2010 The project

Add to Reading List

Source URL: www.ai4fm.org

Language: English - Date: 2013-10-30 13:20:44
262Cybernetics / Systems science / Control theory / Formal sciences / Systems / Feedback / Living systems / E-learning / Trial and error / Systems theory / Science / Knowledge

M C. Geoghegan and P. Pangaro International Journal of General Systems Special Issue on Ross Ashby Vol. X, No. X, Month 200X, 000–000 Design for a self-regenerating organization

Add to Reading List

Source URL: www.pangaro.com

Language: English - Date: 2012-08-16 19:17:12
263Pattern / Hash table / Science / Information science / Information / Association rule learning / GSP Algorithm / Data mining / Formal sciences / Design

VGEN: Fast Vertical Mining of Sequential Generator Patterns 3 ˇ Philippe Fournier-Viger1 , Antonio Gomariz2 , Michal Sebek , Martin Hlosta3

Add to Reading List

Source URL: www.philippe-fournier-viger.com

Language: English - Date: 2014-09-16 09:41:29
264Philosophy of education / Delft University of Technology / E-learning / Massive open online course / Open educational resources / OpenCourseWare / Networked learning / Education / Knowledge / Open content

Open Education in Formal Educational settings, TU Delft STUMBLE project 2014 G.M. (Martijn) Ouwehand, Delft University of technology Zhao & Breslowhave defined a set of four models where O

Add to Reading List

Source URL: conference.oeconsortium.org

Language: English - Date: 2014-04-08 08:53:57
265Computational statistics / Artificial intelligence / Statistical classification / Formal sciences / Ensemble learning / Support vector machine / Software agent / Data mining / Neural network / Statistics / Machine learning / Science

Social choice in distributed classification tasks: dealing with vertically partitioned data∗ Mariana R. Mendoza and Ana L. C. Bazzan PPGC, Instituto de Inform´atica, UFRGS Porto Alegre, RS, Brazil

Add to Reading List

Source URL: www.inf.ufrgs.br

Language: English - Date: 2014-06-24 05:16:50
266Search algorithms / Formal sciences / Information science / TKS / Science / Hash table / Algorithm / Information / Data mining / Association rule learning / Data management

TKS: Efficient Mining of Top-K Sequential Patterns

Add to Reading List

Source URL: www.philippe-fournier-viger.com

Language: English - Date: 2014-01-13 11:26:24
267Data analysis / Science / Machine learning / Formal sciences / Software design pattern / Pattern language / Cross-validation / Data mining / Pattern / Statistics / Design / Architectural theory

Evaluating Data Mining Models: A Pattern Language Jerffeson Souza∗ Stan Matwin Nathalie Japkowicz School of Information Technology and Engineering University of Ottawa K1N 6N5, Canada {jsouza,stan,nat}@site.uottawa.ca

Add to Reading List

Source URL: www.hillside.net

Language: English - Date: 2004-02-16 17:18:28
268Data analysis / Formal sciences / Statistical classification / Applied mathematics / Scientific modeling / Data mining / Visualization / Data visualization / Support vector machine / Statistics / Science / Machine learning

Traveling Salesman Problem (TSP)

Add to Reading List

Source URL: astro.temple.edu

Language: English - Date: 2014-11-01 17:17:35
269Cluster analysis / Data analysis / Formal sciences / Data mining / K-means clustering / IAPR / Computer cluster / Pattern recognition / Institute of Electrical and Electronics Engineers / Statistics / Machine learning / Computational statistics

Microsoft Word - Jain_Anil_112912_abstract.docx

Add to Reading List

Source URL: www.cse.nd.edu

Language: English - Date: 2012-11-26 09:38:14
270Organizational behavior / Information technology management / Design / Innovation / Innovation management / Organizational learning / Organizational culture / Product lifecycle management / Organizational patterns / Management / Business / Science

Emergent values conflicts in formal process for managing innovation: Organizational obstacles and affordances for practice Peter H. Jones The Union Institute 4098 Wagner Rd.

Add to Reading List

Source URL: redesignresearch.com

Language: English - Date: 2006-03-05 15:29:26
UPDATE